Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
51	1 Yosys Application Note 010: Converting Verilog to BLIF Clifford Wolf November 2013 Add to Reading List Source URL: www.clifford.at Language: English - Date: 2015-02-09 07:25:25 Digital electronics Logic design Verilog Logic synthesis Field-programmable gate array High-level synthesis Finite-state machine VHDL AS/400 Control Language Electronic engineering Hardware description languages Electronic design automation
52	Automatic Synthesis of Out-of-Core Algorithms Yannis Klonatos Andres Nötzli Andrej Spielmann Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-26 14:52:18 Algorithm Mathematical logic Theoretical computer science Function Fold Stack Divide and conquer algorithm Mathematics Computing Algorithms
53	Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-04-24 05:03:43 Digital electronics Logic Models of computation Elementary mathematics Logical syntax Finite state transducer Flip-flop Function FO Mathematics Theoretical computer science Automata theory
54	EN164: Design of Computing Systems Lecture 04: Lab Foundations / Programmable logic Professor Sherief Reda http://scale.engin.brown.edu Electrical Sciences and Computer Engineering School of Engineering Add to Reading List Source URL: scale.engin.brown.edu Language: English - Date: 2014-03-23 13:26:52 Field-programmable gate array Gate array Programmable logic array Programmable logic device Altera Logic synthesis Array Electronic engineering Design Electronic design automation
55	Yosys - A Free Verilog Synthesis Suite Clifford Wolf, Johann Glaser† Johannes Kepler University, Austria Institute for Integrated Circuits , † Add to Reading List Source URL: www.clifford.at Language: English - Date: 2013-10-11 16:34:33 Electronic design Integrated circuits Verilog Field-programmable gate array Standard cell Application-specific integrated circuit Logic synthesis High-level synthesis VHDL Electronic engineering Electronic design automation Hardware description languages
56	Executing Specifications using Synthesis and Constraint Solving Viktor Kuncak?1 , Etienne Kneuss1 , and Philippe Suter1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:01:49 Computer programming Constraint satisfaction problem Satisfiability Modulo Theories Constraint satisfaction Constraint logic programming Constraint programming Theoretical computer science Software engineering
57	Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-11-13 08:55:05 Automated theorem proving Logic programming Unification Function Expected value Integration by substitution First-order logic Μ operator Mathematics Mathematical logic Functions and mappings
58	Yosys Open SYnthesis Suite Clifford Wolf (http://www.clifford.at/yosys/) Clifford Wolf http://www.clifford.at/yosys/ Add to Reading List Source URL: www.clifford.at Language: English - Date: 2015-02-09 07:25:30 Hardware description languages Logic design Technical communication Verilog Register-transfer level VHDL Field-programmable gate array Application-specific integrated circuit Logic gate Electronic engineering Electronic design automation Digital electronics
59	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
60	Xilinx Training Course Listing Effective April 1, 2015 II Add to Reading List Source URL: japan.xilinx.com Language: English - Date: 2015-04-14 15:20:39 Reconfigurable computing Xilinx Field-programmable gate array MicroBlaze Logic synthesis Application-specific integrated circuit Soft microprocessor Embedded system Xilinx ISE Electronic engineering Electronics Digital electronics

UPDATE